How to Install hol88 software package in Debian 8 (Jessie)

How to Install hol88 software package in Debian 8 (Jessie)

hol88 software package provides Higher Order Logic, system image, you can install in your Debian 8 (Jessie) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install hol88 

hol88 is installed in your system.

Make ensure the hol88 package were installed using the commands given below,

$ sudo dpkg-query -l | grep hol88 *

You will get with hol88 package name, version, architecture and description in a table

hol88 package basic information:

Distro Debian 8 jessie
Section Mathematics
Package hol88
Version 2.02.19940316-28
Description Higher Order Logic, system image
Sub Section Math


See Also, How to uninstall or remove hol88 software package from Debian 8 (Jessie)?